Reasoning Cgl